1. ......................
Author: Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. A Concise Introduction to Mathematical Logic
Author: by Wolfgang Rautenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
3. A Unified approach to interior point algorithms for linear complementarity problems
Author: M. Kojima...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming )Mathematics(,، Linear programming
Classification :
QA
76
.
L28
Vol
.
538
4. A Unified approach to interior point algorithms for linear complementarity problems
Author: M. Kojima ... )et al.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Programming )Mathematics(,، Linear programming
Classification :
QA
76
.
L4
v
.
538
5. A collection of test problems for constrainded global optimization algorithms
Author: Floudas, Christodoules A.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Engineering mathematics , Mathematical optimization , Nonlinear programming , Algorithms
Classification :
TA
331
.
F58
1990
6. A collection of test problems for constrained global optimization algorithms
Author: Floudas, Christodoulos A
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Engineering mathematics,، Mathematical optimization,، Nonlinear programming,، Algorithms
Classification :
TA
331
.
F58
1990
7. A collection of test problems for constrained global optimization algorithms
Author: / Christodoulos A. Floudas, Panos M. Pardalos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering mathematics,Mathematical optimization,Nonlinear programming,Algorithms
Classification :
E-BOOK
8. A collection of test problems for constrained global optimization algorithms
Author: C. A. Floudas, P. M. Paralos
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Engineering mathematics,، Mathematical optimization,، Nonlinear programming,، Algorithms
Classification :
QA
76
.
L28
Vol
.
455
9. A course in convexity /
Author: Alexander Barvinok
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)
Classification :
QA639
.
5
.
B37
2002
10. A course in convexity /
Author: Alexander Barvinok
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Convex geometry,Functional analysis,Programming (Mathematics),Convexe functies,Convexe verzamelingen,Funções convexas (análise funcional)
Classification :
QA639
.
5
.
B37
2002
11. A course in error-correcting codes /
Author: Jørn Justesen, Tom Høholdt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Error-correcting codes (Information theory),COMPUTERS-- Machine Theory.,Error-correcting codes (Information theory)
Classification :
QA268
12. A first course in network science
Author: \ Filippo Menczer, Santo Fortunato, Clayton A. Davis.,Menczer, Filippo
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Information networks.,Computer networks.,Computer networks.
13. A mathematical introduction to control theory
Author: Shlomo Engelberg.,Engelberg, Shlomo,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Control theory.
14. A primer on scientific programming with Python /
Author: Hans Petter Langtangen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
Classification :
QA76
.
73
.
P98
15. A primer on scientific programming with Python /
Author: Hans Petter Langtangen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming (Mathematics),Python (Computer program language),Scripting languages (Computer science),Programming (Mathematics),Python (Computer program language),Science.,Scripting languages (Computer science)
Classification :
QA76
.
73
.
P98
L36
2016
16. A programmer's introduction to mathematics /
Author: Jeremy Kun.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Computer science-- Mathematics.
Classification :
QA76
.
9
.
M35
K86
2018
17. A relational theory of computing
Author: John G. Sanderson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Mathematics
Classification :
QA
76
.
L28
Vol
.
82
18. AI approaches to the complexity of legal systems :
Author: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
K213
19. Advanced Arithmetic for the Digital Computer :
Author: by Ulrich W. Kulisch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer network architectures.,Computer science.
Classification :
QA76
.
9
.
C62
B985
2002
20. Advanced Educational Technologies for Mathematics and Science
Author: edited by David L. Ferguson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Zoology.
Classification :
QA11
.
A1
E358
1993
